141. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

142. Algebraic Coding Theory and Information Theory: DIMACS Workshop Algeraic Coding Theory and Information Theory, Desember 15-18, 2003 Rugers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Information theory in mathematics -- Congresses,Coding Theory -- Congresses,Algebracie logic -- Congresses

رده :
QA10
.
4
.
A44
2005

143. Algebraic Combinatorics and Computer Science

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorics.,Computer science-- Mathematics.,Information theory.,Mathematics.

144. Algebraic-Geometric Codes

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Geometry, Algebraic.,Information theory.,Mathematics.,Number theory.

145. Algebraic coding theory and information theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)

موضوع : Information theory in mathematics, Congresses,Coding theory, Congresses,Algebraic logic, Congresses

رده :
003
,.
54
,.
A44
,
2005

146. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic

رده :
QA
10
.
4
.
A44
2005

147. Algebraic coding theory and information theory: DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic

رده :
QA
10
.
4
.
A44

148. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic

رده :
QA
10
.
4
.
D55
2003

149. Algebraic foundations in computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics.

رده :
QA76
.
9
.
M35
A44
2011

150. Algol-like Languages

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Mathematics.

151. American g

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

152. An Introduction to Quantum Computing Algorithms

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computer software.,Mathematics.,Quantum theory.

153. An introduction to machine learning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.

رده :
QA76
.
9
.
D343
K83
2017

154. An introduction to mathematical logic and type theory : to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638
1986

155. An introduction to mathematical logic and type theory: to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638

156. Applications of continuous mathematics to computer science /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik

رده :
QA76
.
9
.
M35
N49
1997

157. Applied Abstract Algebra

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Mathematics.

158. Applied logic for computer scientists : computational deduction and formal proofs

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer logic,، Computer science -- Mathematics

رده :
QA
76
.
9
.
L63A92

159. Artificial Intelligence and Dynamic Systems for Geophysical Applications

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science-- Mathematics.,Geographical information systems.,Geography.,Optical pattern recognition.,Physical geography.

160. Artificial Intelligence in Higher Education :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.

رده :
Q335
.
7
B985
1990